Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
131	This is a pre-publication draft of the article I wrote for the December 2001 issue of C/C++ Users Journal. “Pre-publication” means this is what I sent to CUJ, but it may not be exactly the same as what appeared in pr Add to Reading List Source URL: www.aristeia.com Language: English - Date: 2013-01-31 17:34:42 Computer programming Object-oriented programming Abstract data types Associative arrays Associative containers Generic programming Sequence container Iterator Standard Template Library Computing C++ Standard Library Software engineering
132	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
133	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
134	Deductive Verification of Data Structures Jens Gerlach DEVICE-SOFT Workshop Berlin, October 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Computing Stack C++ Standard Library Subroutine Queue Stack machine Abstract data types Computer programming Software engineering
135	The Passport Control Problem or How to Keep an Unstable Service System Load Balanced ? A. I TAI Computer Science Department, Technion M. RODEH Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-04-17 12:12:31 Probability and statistics Probability theory Operations research Abstract data types Markov models Queue Mean value analysis Statistics Stochastic processes Queueing theory
136	"Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:03 Morphisms Group theory Category theory Isomorphism Group action Natural transformation Ø Groupoid Finite set Mathematics Abstract algebra Algebra
137	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
138	Limitations of Data Encapsulation and Abstract Data Types Paul L. Bergstein University of Massachusetts Dartmouth Abstract One of the key benefits provided by object-oriented Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2000-08-29 17:06:26 Object-oriented programming Protocol Abstraction Class Mutator method Abstract data type Java Interface Object Computing Software engineering Computer programming
139	This is a pre-publication draft of the article I wrote for the June 2001 issue of C/C++ Users Journal. “Pre-publication” means this is what I sent to CUJ, but it may not be exactly the same as what appeared in print, Add to Reading List Source URL: www.aristeia.com Language: English - Date: 2013-01-31 17:34:43 C++ Standard Library Abstract data types Object-oriented programming C++ Data types Iterator Sequence container Associative containers Set Computing Computer programming Software engineering
140	Metaheuristics for the Two-Dimensional Container Pre-Marshalling Problem Alan Tus1 , Andrea Rendl2 , and G¨ unther R. Raidl3 1 Add to Reading List Source URL: andrearendl.com Language: English - Date: 2014-10-27 00:47:33 Intermodal containers Container terminals Ant colony optimization algorithms Stochastic optimization Stack Container Heuristic function Sequence container Associative containers Transport Abstract data types C++ Standard Library

UPDATE